Section: Dissemination

Teaching - Supervision - Juries

Teaching

• Licence :

  • Medhi Bouaziz, Introduction to Programmation and Computer Sciences (Practical Works), 36ETD, L1, Université Paris-Diderot, France.

  • Mehdi Bouaziz, Intensive course of algorithm, 35h ETD, Epita, Le Kremlin-Bicêtre, France.

  • Mehdi Bouaziz, Preparation to the International Olympiad in Informatics, 40h ETD, Epita, Le Kremlin-Bicètre, France.

  • Mehdi Bouaziz took the French team to the International Olympiad in Informatics at Brisbane, Australia.

  • Tie Cheng, Introduction to algorithmics, 42h ETD, L3, École Polytechnique, Palaiseau, France.

  • Jérôme Feret, and Caterina Urban, Mathematics, 40h ETD, L1, Licence Frontiers in Life Sciences (FdV), Université Paris-Descartes, France.

  • Xavier Rival, Introduction to algorithmics, 40h ETD, L3, École Polytechnique, Palaiseau, France.

  • Arnaud Spiwack, Introduction to recursive programming, 42h ETD, Université Pierre et Marie Curie (Paris 6), Paris, France.

  • Antoine Toubans, Mathematics, 40hETD, L2, Université de Jussieu, Paris, France.

• Master :

  • Jérôme Feret, Computational Biology, 9h ETD, M1. Interdisciplinary Approaches to Life Science (AIV), Master Program, Université Paris-Descartes, France.

  • Jérôme Feret, Antoine Miné, and Xavier Rival, Abstract Interpretation: application to verification and static analysis, 72h ETD, M2. Parisian Master of Research in Computer Science (MPRI). École normale supérieure. France.

  • Xavier Rival, 20h ETD, M1, École Polytechnique, Palaiseau, France.

  • Mehdi Bouaziz, Tie Cheng, Jérôme Feret, Antoine Miné, Xavier Rival, Caterina Urban, Abstract Interpretation, 30h ETD, M1-M2. East China Normal University, Shanghai, China.

• Doctorat :

  • Jérôme Feret, Abstract interpretation of intracellular signaling pathways, 4.5h ETD, CNRS Summer School on Formal modeling of Biological Regulatory Networks, Porquerolles, France.

  • Antoine Miné, Inferring affine program invariants by abstract interpretation, 4.5h ETD, Spring School on Polyhedra Code Analysis and Optimization, Saint Germain au Mont d’Or, France, May 13–17, 2013.

Supervision

• HdR : Antoine Miné, Static analysis by abstract interpretation of concurrent programs, École normale supérieure, 28 May 2013.

• PhD in progress:

  • Mehdi Bouaziz, Static analysis of security properties by abstract interpretation. November 2011, Patrick Cousot and Jérôme Feret, École Normale Supérieure.

  • Ferdinanda Camporesi, Abstraction of Quantitative Semantics of Rule-based models, January 2009, Radhia Cousot and Jérôme Feret (co-directed thesis with Maurizio Gabrielli, University of Bologna).

  • Arlen Cox, Representing dynamic languages heaps using parametric, modular, container abstract domains, 2013, Xavier Rival, École Normale Supérieure (co-directed thesis with Bor-Yuh Evan Chang, University of Colorado at Boulder).

  • Tie Cheng, Static analysis of spreadsheet macros, October 2011, Xavier Rival, École Polytechnique.

  • Vincent Laviron, Static Analysis of Functional Programs by Abstract Interpretation, October 2009, Patrick Cousot, École Normale Supérieure.

  • Jiangchao Liu, Verification of the memory safety of a micro-kernel, December 2013, Xavier Rival, École Normale Supérieure

  • Antoine Toubhans, Combination of shape abstract domains, October 2011, Xavier Rival, École Doctorale de Paris Centre

  • Caterina Urban, Static Analysis of Functional Temporal Properties of Programs by Abstract Interpretation, November 2011, Radhia Cousot and Antoine Miné, École Normale Supérieure.

Juries

— Jérôme Feret reviewed the PhD thesis of Tatjana Petrov (ETH Zürich, Switzerland, JUne 6, 2013). He was also in the jury of Geoffroy Andrieux PhD thesis (Université Rennes 1, France, July 18, 2013).

— Antoine Miné reviewed the PhD thesis of Yassamine Seladji (CEA, Palaiseau, France, October 31, 2013). He was also in the jury of the PhD theses of Ramakrishna Upadrasta (Université Paris Sud, March 13, 2013) and Zhoulai Fu (Université Rennes 1, July 22, 2013).

— Xavier Rival reviewed the PhD theses of Valentin Perelle (Verimag, Université Joseph Fourrier, Grenoble, February 22, 2013) and of Gideon Smeding (Inria Rhône-Alpes, Université Joseph Fourrier, Grenoble, December 19, 2013).